nodes_before_top.texi: warning: must specify a title with a title command or @top
